Tight failure detection bounds on atomic object implementations
نویسندگان
چکیده
منابع مشابه
Tight bounds on plurality
We show that n 1 2 pairwise equality comparisons are necessary and su cient (in the worst case) to nd a plurality in n colored balls.
متن کاملUnleashing and Speeding Up Readers in Atomic Object Implementations
Providing efficient emulations of atomic read/write objects in asynchronous, crash-prone, message-passing systems is an important problem in distributed computing. Communication latency is a factor that typically dominates the performance of message-passing systems, consequently the efficiency of algorithms implementing atomic objects is measured in terms of the number of communication exchange...
متن کاملTight Bounds on Quantum Searching
We provide a tight analysis of Grover's algorithm for quantum database searching. We give a simple closed-form formula for the probability of success after any given number of iterations of the algorithm. This allows us to determine the number of iterations necessary to achieve almost certainty of finding the answer. Furthermore, we analyse the behaviour of the algorithm when the element to be ...
متن کاملTight Steady-State Availability Bounds Using the Failure Distance Concept
Continuous-time Markov chains are commonly used for dependability modeling of repairable fault-tolerant computer systems. Realistic models of non-trivial fault-tolerant systems often have very large state spaces. An attractive approach for dealing with the largeness problem is the use of pruning methods with error bounds. Several such methods for computing steady-state availability bounds have ...
متن کاملBounds on the Costs of Register Implementations
A fundamental aspect of any concurrent system is how processes communicate with each other. Ultimately, all communication involves concurrent reads and writes of shared memory cells, or registers. The stronger the guarantees provided by a register, the more useful it is to the user, but the harder it may be to implement in practice. Thus it is of interest to determine which types of registers c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 2010
ISSN: 0004-5411,1557-735X
DOI: 10.1145/1734213.1734216